Visualization in process algebra models of biological systems
نویسندگان
چکیده
The language that Nurse wishes to see is a formal language that can be automatically translated into machine executable code and that enables simulation and analysis techniques for proving properties of biological systems. Although there are many approaches to the formal modeling of living systems, only a few provide executable descriptions that highlight the mechanistic steps that make a system move from one state to another [2]. Almost all the techniques related to mathematical modeling abstract from these individual steps to produce global behavior, usually averaged over time.
منابع مشابه
Application of Nano-Contact Mechanics Models in Manipulation of Biological Nano-Particle: FE Simulation
Contact mechanics is related to the deformation study of solids that meet each other at one or more points. The physical and mathematical formulation of the problem is established upon the mechanics of materials and continuum mechanics and focuses on computations involving bodies with different characteristics in static or dynamic contact. Contact mechanics gives essential information for the s...
متن کاملModeling biological systems with delays in Bio-PEPA
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting more compact models. In this paper we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning delays to actions, yielding a new non-Markovian process algebra: Bio-PEPAd. This is a con...
متن کاملStochastic Process Algebra Models of a Circadian Clock
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic π-calculus.
متن کاملA process algebra framework for multi-scale modelling of biological systems
We introduce a novel process algebra for modelling biological systems at multiple scales, called process algebra with hooks (PAH). Processes represent biological entities, such as molecules, cells and tissues, while two algebraic operators, both symmetric, define composition of processes within and between scales. Composed actions allow for biological events to interact within and between scale...
متن کاملA Novel Toolbox for Generating Realistic Biological Cell Geometries for Electromagnetic Microdosimetry
Researchers in bioelectromagnetics often require realistic tissue, cellular and sub-cellular geometry models for their simulations. However, biological shapes are often extremely irregular, while conventional geometrical modeling tools on the market cannot meet the demand for fast and efficient construction of irregular geometries. We have designed a free, user-friendly tool in MATLAB that comb...
متن کامل